Un conjunto no numerable es un conjunto que no puede ser enumerado, es decir, un conjunto tal que no existe una función sobreyectiva del conjunto de los número naturales a dicho conjunto. Es decir, un conjunto A es no numerable si no existe ninguna función f tal que:

${\displaystyle f:\mathbb {N} \to A\quad \land \quad f:{\mbox{sobreyectiva}}}$

El argumento diagonal de Cantor es una demostración sencilla de que existen conjuntos infinitos que no son numerables.